SOME ORDER DUALITIES IN LOGIC, GAMES AND CHOICES

Some Order dualities in Logic, Games and Choices

We first present the concept of duality appearing in order theory, i.e. the notions of dual isomorphism and of Galois connection. Then we describe two fundamental dualities, the duality extension/intention associated with a binary relation between two sets, and the duality between implicational systems and closure systems. Finally we present two "concrete" dualities occuring in social choice an...

Some Non-classical Methods in Epistemic Logic and Games

SOME NON-CLASSICAL METHODS IN EPISTEMIC LOGIC

Gauge–string Dualities and Some Applications

The first part of these lectures contains an introductory review of the AdS/CFT duality and of its tests. Applications to thermal gauge theory are also discussed briefly. The second part is devoted to a review of gauge-string dualities based on various warped conifold backgrounds, and to their cosmological applications.

Higher-order languages: dualities and bisimulation enhancements

Groups, Graphs, Languages, Automata, Games and Second-order Monadic Logic

In this paper we survey some surprising connections between group theory, the theory of automata and formal languages, the theory of ends, infinite games of perfect information, and monadic second-order logic.